Programmation Réactive Synchrone, Langage et Contrôle des Ressources
نویسنده
چکیده
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Programmation Réactive Synchrone, Langage et Contrôle des Ressources Frederic Dabrowski
منابع مشابه
ReactiveML, un langage fonctionnel pour la programmation réactive
RÉSUMÉ. La programmation de systèmes réactifs tels que les simulateurs de systèmes dynamiques ou les jeux vidéo est une tâche difficile. Les techniques classiques pour programmer ces systèmes sont fondées sur l’utilisation de bibliothèques de threads ou de programmation événementielle. Nous introduisons ici le langage REACTIVEML comme une alternative à ces pratiques. Le langage est une extensio...
متن کاملModélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture
Résumé Les systèmes embarqués sur puce (ou system-on-chip, SoC) sont de plus en plus sophistiqués en intégrant de multiples fonctionnalités. Ils requièrent beaucoup de ressources pour améliorer les performances d’exécution. Leurs développements posent un véritable défi en raison, à la fois de leurs complexités et de leurs exigences en qualité de service. Cet article s’intéresse à la conception ...
متن کاملAspects of availability: Enforcing timed properties to prevent denial of service
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The ben...
متن کاملAspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une i...
متن کاملExécution efficace de programmes ReactiveML
ReactiveML est un langage dédié à la programmation de systèmes combinant des parties algorithmiques et réactives. Il s’agit d’une extension de ML avec des constructions pour la concurrence inspirées des langages synchrones. Celles-ci permettent d’obtenir une très grande expressivité, mais leur implantation efficace représente un défi. Dans cet article, nous présentons l’implantation de Reactive...
متن کامل